unsigned char recovery_rv32_img[] = {
  0x73, 0x25, 0x40, 0xf1, 0x37, 0x0f, 0x00, 0x50, 0x13, 0x0f, 0x0f, 0x08,
  0x83, 0x20, 0x0f, 0x00, 0x03, 0x21, 0x4f, 0x00, 0x83, 0x21, 0x8f, 0x00,
  0x03, 0x22, 0xcf, 0x00, 0x83, 0x22, 0x0f, 0x01, 0x03, 0x23, 0x4f, 0x01,
  0x83, 0x23, 0x8f, 0x01, 0x83, 0x24, 0x0f, 0x02, 0x03, 0x25, 0x4f, 0x02,
  0x83, 0x25, 0x8f, 0x02, 0x03, 0x26, 0xcf, 0x02, 0x83, 0x26, 0x0f, 0x03,
  0x03, 0x27, 0x4f, 0x03, 0x83, 0x27, 0x8f, 0x03, 0x03, 0x28, 0xcf, 0x03,
  0x83, 0x28, 0x0f, 0x04, 0x03, 0x29, 0x4f, 0x04, 0x83, 0x29, 0x8f, 0x04,
  0x03, 0x2a, 0xcf, 0x04, 0x83, 0x2a, 0x0f, 0x05, 0x03, 0x2b, 0x4f, 0x05,
  0x83, 0x2b, 0x8f, 0x05, 0x03, 0x2c, 0xcf, 0x05, 0x83, 0x2c, 0x0f, 0x06,
  0x03, 0x2d, 0x4f, 0x06, 0x83, 0x2d, 0x8f, 0x06, 0x03, 0x2e, 0xcf, 0x06,
  0x83, 0x2e, 0x0f, 0x07, 0x73, 0x2e, 0x00, 0x30, 0x83, 0x2f, 0xcf, 0x09,
  0x93, 0x0e, 0xb0, 0x00, 0xb3, 0x9f, 0xdf, 0x01, 0x33, 0x6e, 0xfe, 0x01,
  0x83, 0x2f, 0x0f, 0x0a, 0x93, 0x0e, 0x80, 0x00, 0xb3, 0x9f, 0xdf, 0x01,
  0x33, 0x6e, 0xfe, 0x01, 0x83, 0x2f, 0x4f, 0x0a, 0x93, 0x0e, 0x70, 0x00,
  0xb3, 0x9f, 0xdf, 0x01, 0x33, 0x6e, 0xfe, 0x01, 0x83, 0x2f, 0x8f, 0x0a,
  0x93, 0x0e, 0x30, 0x00, 0xb3, 0x9f, 0xdf, 0x01, 0x33, 0x6e, 0xfe, 0x01,
  0x73, 0x10, 0x0e, 0x30, 0x03, 0x2e, 0xcf, 0x06, 0x83, 0x2e, 0x0f, 0x07,
  0x83, 0x2f, 0xcf, 0x0a, 0x73, 0x90, 0x5f, 0x30, 0x83, 0x2f, 0x8f, 0x07,
  0x03, 0x2f, 0xcf, 0x07, 0x67, 0x00, 0x0f, 0x00, 0xb7, 0x05, 0x00, 0x11,
  0x13, 0x06, 0x10, 0x04, 0x23, 0x82, 0xc5, 0x00, 0x13, 0x06, 0x20, 0x04,
  0x23, 0x82, 0xc5, 0x00, 0x13, 0x06, 0x30, 0x04, 0x23, 0x82, 0xc5, 0x00,
  0x13, 0x06, 0x40, 0x04, 0x23, 0x82, 0xc5, 0x00, 0x13, 0x06, 0x50, 0x04,
  0x23, 0x82, 0xc5, 0x00, 0x13, 0x06, 0x60, 0x04, 0x23, 0x82, 0xc5, 0x00,
  0x13, 0x06, 0x70, 0x04, 0x23, 0x82, 0xc5, 0x00, 0x13, 0x06, 0x80, 0x04,
  0x23, 0x82, 0xc5, 0x00, 0x13, 0x06, 0x90, 0x04, 0x23, 0x82, 0xc5, 0x00,
  0x13, 0x06, 0xa0, 0x04, 0x23, 0x82, 0xc5, 0x00, 0x13, 0x06, 0xb0, 0x04,
  0x23, 0x82, 0xc5, 0x00, 0x13, 0x06, 0xc0, 0x04, 0x23, 0x82, 0xc5, 0x00,
  0x13, 0x06, 0xd0, 0x04, 0x23, 0x82, 0xc5, 0x00, 0x13, 0x06, 0xe0, 0x04,
  0x23, 0x82, 0xc5, 0x00, 0x13, 0x06, 0xf0, 0x04, 0x23, 0x82, 0xc5, 0x00,
  0x13, 0x06, 0x00, 0x05, 0x23, 0x82, 0xc5, 0x00, 0x13, 0x06, 0x10, 0x05,
  0x23, 0x82, 0xc5, 0x00, 0x13, 0x06, 0x20, 0x05, 0x23, 0x82, 0xc5, 0x00,
  0x13, 0x06, 0x30, 0x05, 0x23, 0x82, 0xc5, 0x00
};
unsigned int recovery_rv32_img_len = 380;
